|
|
|
| e-Pub |
Previous | 
Home
Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
Andrej Bauer (University of Novi Sad) visited and PPS for one month in September 2015 to collaborate with Matthieu Sozeau.
Internships
Akira Yoshimizu had a six-month Inria international internship (Nov 2014 - April 2015). He worked on abstract machines for the geometry of synchronisation, a variation of Girard's geometry of interaction that incorporates synchronisation and that is fit for dealing with quantum primitives added to a functional language, and coauthored a paper at LICS 2015 with Ugo Dal Lago, Claudia Faggian, and Benoît Valiron [56] .